翻訳と辞書 |
Lightweight Java : ウィキペディア英語版 | Lightweight Java Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java.〔http://portal.acm.org/citation.cfm?doid=1297027.1297064〕〔http://rok.strnisa.com/lj/〕 The language was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ was proven type-sound in Isabelle/HOL.〔http://afp.sourceforge.net/entries/LightweightJava.shtml〕 == See also ==
* Lightweight programming language
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Lightweight Java」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|